Nuprl Definition : st-atom
0,22
postcript
pdf
st-atom(
tab
;
n
) == 1of(2of(2of(
tab
))(
n
))
latex
Definitions
1of(
t
)
,
2of(
t
)
FDL editor aliases
st-atom
origin